1. Alternative Logics. Do Sciences Need Them?
Author: edited by Paul Weingartner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Information theory.,Physics.,Quantum theory.
2. An introduction to combinators and )Lambda(-calculus
Author: J. Roger Hindley, Jonathand P. Seldin
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Combinatory logic,، Lambda calculus
Classification :
QA
9
.
5
.
H56I5
3. Automata, languages and programming :
Author: edited by G. Ausiello and C. Böhm.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
4. Calculus and Computer Science Theory, Proceedings of theSymposium held in Rome March 25-27, 1975. IAC-CNR Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche
Author: / Edited by C. Bohm
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Combinatory logic -- Congresses,Programming languages (Electronic computurs) -- Congresses
Classification :
QA
905
.
L35
5. Combinators, [lambda]-Terms and Proof Theory
Author: by Sören Stenlund.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Philosophy (General)
6. Combinators, -terms and proof theory
Author:
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Proof theory,Combinatory logic
Classification :
QA9
.
S753
7. Combinators, -terms and proof theory
Author:
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Proof theory,Combinatory logic
Classification :
QA9
.
S753
8. Combinators, -terms and proof theory
Author:
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Proof theory,Combinatory logic
Classification :
QA9
.
S753
9. Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and its Applications)
Author: / لKatalin Bimb
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING (uncategorised)&COMPUTER SCIENCE
Classification :
E-BOOK
10. Combinatory logic
Author: / Haskell B. Curry, Robert Feys; With two sections by William Cr aig
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Combinatory logic
Classification :
511
.
3
C976
11. Combinatory logic
Author: [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatory logic.,Logique combinatoire.,Combinatory logic.,Combinatory logic.,Logic, Symbolic and mathematical.,Logica Matematica.,Logique combinatoire.
Classification :
QA9
.
5
.
C87
12. Combinatory logic
Author: Curry, Haskell Brooks
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
36
.
C8
13. Combinatory logic
Author: Katalin Bimbao
Library: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
Subject: Combinatory logic
Classification :
QA
9
,.
5
.
B52C6
2012
14. Combinatory logic
Author: / Haskell B. Curry, Robert Feys. With two sections by William Craig
Library: Library of College of Science University of Tehran (Tehran)
Subject: Combinatory logic
Classification :
QA
9
.
5
.
C87
15. Combinatory logic. Volume II
Author: [edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatory logic.,MATHEMATICS -- Infinity.,MATHEMATICS -- Logic.
16. Combinatory logic : pure, applied and typed
Author: Katalin Bimbo
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Combinatory logic
Classification :
QA
9
.
5
.
B55C6
17. Computability in combinatory spaces
Author: / by Dimiter G. Skordev
Library: Library of College of Science University of Tehran (Tehran)
Subject: Recursion theory,Combinatory logic
Classification :
QA
9
.
6
.
S55
1992
18. Computability in combinatory spaces : an algebraic generalization of abstract first order computability
Author: by Dimiter G. Skordev
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursion theory,، Combinatory logic
Classification :
QA
9
.
6
.
S56
19. Computability in combinatory spaces: an algebraic generalization of abstract first order computability
Author: Skordev, Dimiter Genchev
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Recursion theory,، Comlinatory logic
Classification :
QA
9
.
6
.
S55
1992
20. Disertación acerca del arte combinatorio
Author: de G.W. Leibniz ; versión directa del Latín, Manuel Antonio Correia M.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatory logic.,Leibniz, Gottfried Wilhelm, -- Freiherr von, -- 1646-1716 -- Logic.,LOGICA COMBINATORIA.
Classification :
QA9
.
5
D449
1992
